CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 14 of 14 Results
1.
Model Checking
Model Checking by Edmund M. Clarke Jr., Orna ... ISBN: 9780262032704 List Price: $69.00
$4.05 (Save 94%)
2.
Software Reliability Methods
Software Reliability Methods by Peled, Doron, Clarke, E. M. ISBN: 9780387951065 List Price: $159.00
$45.98 (Save 71%)
3.
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 200...
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 200... by Bensalem, Saddek, Peled, Do... ISBN: 9783642046933 List Price: $72.00
$27.06 (Save 62%)
4.
Time for Verification : Essays in Memory of Amir Pnueli
Time for Verification : Essays in Memory of Amir Pnueli by Manna, Zohar, Peled, Doron A. ISBN: 9783642137532 List Price: $95.00

OUT OF STOCK

See Availability on Amazon
5.
Computer Aided Verification 16th International Conference, Cav 2004, Boston, Ma, Usa, July 1...
Computer Aided Verification 16th International Conference, Cav 2004, Boston, Ma, Usa, July 1... by Alur, Rajeev, Peled, Doron A. ISBN: 9783540223429 List Price: $99.95
$103.17
6.
Software Reliability Methods (Texts in Computer Science)
Software Reliability Methods (Texts in Computer Science) by Doron A. Peled ISBN: 9781441928764 List Price: $159.00
$51.31 (Save 67%)
7.
Model Checking and Artificial Intelligence: 5th International Workshop of ECAI 2008, Padras,...
Model Checking and Artificial Intelligence: 5th International Workshop of ECAI 2008, Padras,... by Peled, Doron A., Wooldridge... ISBN: 9783642004308 List Price: $64.95
$52.33 (Save 19%)
8.
Automated Technology for Verification And Analysis Third International Symposium, Atva 2005,...
Automated Technology for Verification And Analysis Third International Symposium, Atva 2005,... by Peled, Doron A., Tsay, Yih-... ISBN: 9783540292098 List Price: $89.00
$52.33 (Save 41%)
9.
Formal Techniques for Networked and Distributed Systems - Forte 2002 22nd Ifip Wg 6.1 Intern...
Formal Techniques for Networked and Distributed Systems - Forte 2002 22nd Ifip Wg 6.1 Intern... by Peled, Doron A., Vardi, Mos... ISBN: 9783540001416 List Price: $85.00
$52.33 (Save 38%)
10.
Computer Aided Verification
Computer Aided Verification by Halbwachs, Nicolas, Peled, ... ISBN: 9783540662020 List Price: $89.95
$51.31 (Save 42%)
11.
Computer Aided Verification
Computer Aided Verification by Halbwachs, Nicolas, Peled, ... ISBN: 9783662192832 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
12.
Software Reliability Methods
Software Reliability Methods by Peled, Doron A. ISBN: 9781475735413 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
13.
Formal Techniques for Networked and Distributed Systems - Forte 2002
Formal Techniques for Networked and Distributed Systems - Forte 2002 by Peled, Doron A., Vardi, Mos... ISBN: 9783662201381 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
14.
Spin Verification System Dimacs Workshop, August 5, 1996
Spin Verification System Dimacs Workshop, August 5, 1996 by Egoire, Jean-Charles, Holzm... ISBN: 9780821806807 List Price: $57.00

OUT OF STOCK

See Availability on Amazon